00100	
00110	(DE MAXLENGTH(X N)(GREATERP (NUM X) N))
00120	
00200	
00300	(DEFPROP MAXDEPTH 
00400	 (LAMBDA(Z N)
00500	  (PROG NIL
00600	   D1   (COND ((MAXDEPTH1 (COND ((NEG (CAR Z)) (CDDAR Z)) (T (CDAR Z))) N) (RETURN T)))
00700		(SETQ Z (CDR Z))
00800		(COND (Z (GO D1)) (RETURN NIL)))) 
00900	EXPR)
01000	
01100	(DEFPROP MAXDEPTH1 
01200	 (LAMBDA(Z N)
01300	  (PROG NIL
01400	   D1   (COND ((OR (VAR (CAR Z)) (CONST (CAR Z))) (GO D2))
01500		      ((EQ N 1) (RETURN T))
01600		      ((MAXDEPTH1 (CDAR Z) (SUB1 N)) (RETURN T)))
01700	   D2   (SETQ Z (CDR Z))
01800		(COND (Z (GO D1)))
01900		(RETURN NIL))) 
02000	EXPR)